\section{Applying Lifted DSLTrans to GM Models}

\subsection{Procut Lines in GM}
{\bf Gehan does}

- How does the product line of GM models look like
			how many features
			size of each product
			a little bit about the metamodel


\subsection{Transforming GM Product Lines}


- What does it take to build the tool and -if necessary- whether there were any
  changes to the VCS-to-Autosar transformation itself that needed to be made 


This section should also describe the industrial requirements for transforming
product lines in GM: scalability, correctness.

We demonstrate scalability through our case study.
We guarrantee correctness analytically: correctness of lifting and property
preservation by DSLTrans.

% About usability. Usability means:
% \begin{itemize}
% \item Tool integration. This is outside the scope of this paper.
% \item DSLTrans is usable because .... (Levi argues for DSLTrans itself)
% \item Lifted DSLTrans is usable because you don't have to change the transformations,
% so it is not any less usable than the original transformation language From the
% perspective of the engineers that are doing this, they don't need to worry about
% transforming product lines.  They just need to write their own transformations
% and all the cost is paid at the tool level
% \end{itemize}
